A. S. Troelstra: որոնել Z-Library կայքում

Նվիրատվություններ Սեպտեմբերի 15 2024 – Հոկտեմբերի 1 2024 Դրամահավաքի մասին

Գիտելիքների և մշակույթի ազատ հասանելիություն:

Նվիրատվություններ Սեպտեմբերի 15 2024 – Հոկտեմբերի 1 2024

Z-Library-ը աշխարհի ամենամեծ առցանց գրադարաններից մեկն է, որտեղ տեղակայված ենավելի քան 17,000,000 գրքեր և 84,837,000 հոդվածներ: Մենք ձգտում ենք գրականությունը մատչելի դարձնել բոլորի համար. Այսօր (Սեպտեմբերի 15 2024) մենք բացում ենք նվիրատվությունների լրացուցիչ հավաք՝ նախագիծը աջակցելու և զարգացնելու համար.

Նաև, ԱՆՍԱՀՄԱՆԱՓԱԿ ներբեռնումներ (նվիրատվության օրվանից 31 օր սկսած) հասանելի կլինեն բոլոր օգտվողներին, ովքեր նվիրատվություն են կատարում գումարների հավաքման ընթացքում՝ մինչևՀոկտեմբերի 1 2024.

Դրամահավաքի մասինՄանրամասն

Գրքեր (30)
Ամենահայտնի
Ցուցակ
- Ցուցակ
- Աղյուսակ

1

Basic Proof Theory

Basic Proof Theory

Cambridge University Press

A. S. Troelstra, H. Schwichtenberg

Տարի:

2000

Լեզու:

english

Ֆայլ:

PDF, 6.14 MB

5.0 / 0

english, 2000

2

Constructivism in mathematics: An introduction

Constructivism in mathematics: An introduction

Elsevier Science

A. S. Troelstra and D. van Dalen

Տարի:

1988

Լեզու:

english

Ֆայլ:

PDF, 6.83 MB

0 / 0

english, 1988

3

Ω-Bibliography of Mathematical Logic. Volume 6: Proof Theory. Constructive Mathematics

Ω-Bibliography of Mathematical Logic. Volume 6: Proof Theory. Constructive Mathematics

Gert H. Müller, Jane E. Kister, Dirk van Dalen, Anne S. Troelstra (eds.)

Տարի:

1987

Լեզու:

english

Ֆայլ:

PDF, 15.16 MB

0 / 0

english, 1987

4

Basic Proof Theory

Basic Proof Theory

Cambridge University Press

A. S. Troelstra, H. Schwichtenberg

Տարի:

1996

Լեզու:

english

Ֆայլ:

DJVU, 4.79 MB

0 / 0

english, 1996

5

Lectures on Linear Logic

Lectures on Linear Logic

Center for the Study of Language and Inf

A. S. Troelstra

Տարի:

1992

Լեզու:

english

Ֆայլ:

PDF, 5.72 MB

0 / 0

english, 1992

6

Constructivism in mathematics: An introduction

Constructivism in mathematics: An introduction

Anne S. Troelstra, Dirk van Dalen

Տարի:

1988

Լեզու:

english

Ֆայլ:

DJVU, 2.06 MB

0 / 0

english, 1988

7

Principles of Intuitionism

Principles of Intuitionism

Տարի:

1969

Լեզու:

english

Ֆայլ:

PDF, 3.91 MB

0 / 0

english, 1969

8

Model Theory

Model Theory

Chang C.C., Keisler H.J., Troelstra A.S.

Տարի:

1990

Լեզու:

english

Ֆայլ:

DJVU, 5.21 MB

0 / 0

english, 1990

9

Choice Sequences: A Chapter of Intuitionistic Mathematics

Choice Sequences: A Chapter of Intuitionistic Mathematics

Oxford University Press, USA

A. S. Troelstra

Տարի:

1977

Լեզու:

english

Ֆայլ:

DJVU, 1.54 MB

0 / 0

english, 1977

10

History of Constructivism in the 20th Century

History of Constructivism in the 20th Century

Լեզու:

english

Ֆայլ:

PDF, 342 KB

0 / 0

english

11

Basic proof theory

Basic proof theory

Cambridge University Press

A S Troelstra, Helmut Schwichtenberg

Տարի:

2000

Լեզու:

english

Ֆայլ:

DJVU, 3.32 MB

0 / 0

english, 2000

12

L.E.J.Brouwer Centenary Symposium Proceedings

L.E.J.Brouwer Centenary Symposium Proceedings

Elsevier Science Ltd

A.S. Troelstra, D.van Dalen, D. Van Dalen

Տարի:

1982

Լեզու:

english

Ֆայլ:

PDF, 6.79 MB

0 / 0

english, 1982

13

The L. E. J. Brouwer Centenary Symposium, Proceedings of the Conference held in Noordwijkerhout

The L. E. J. Brouwer Centenary Symposium, Proceedings of the Conference held in Noordwijkerhout

Elsevier Science Ltd

A.S. Troelstra and D. van Dalen (Eds.)

Տարի:

1982

Լեզու:

english

Ֆայլ:

PDF, 6.00 MB

0 / 0

english, 1982

14

Intuitionistic General Topology [PhD Thesis]

Intuitionistic General Topology [PhD Thesis]

Տարի:

1966

Լեզու:

english

Ֆայլ:

PDF, 5.11 MB

0 / 0

english, 1966

15

Principles of Intuitionism. Lectures Summer Conference on Intuitionism and Proof Theory, 1968

Principles of Intuitionism. Lectures Summer Conference on Intuitionism and Proof Theory, 1968

Anne S. Troelstra

Տարի:

1969

Լեզու:

english

Ֆայլ:

DJVU, 705 KB

0 / 0

english, 1969

16

Choice sequences: a chapter of intuitionistic mathematics

Choice sequences: a chapter of intuitionistic mathematics

Oxford University Press, Clarendon Press

Տարի:

1977

Լեզու:

english

Ֆայլ:

DJVU, 1.18 MB

0 / 0

english, 1977

17

Bibliography of Natural History Travel Narratives

Bibliography of Natural History Travel Narratives

Anne S. Troelstra

Տարի:

2016

Լեզու:

english

Ֆայլ:

PDF, 3.67 MB

0 / 5.0

english, 2016

18

Lectures on Linear Logic

Lectures on Linear Logic

CSLI Publications

A. S. Troelstra

Տարի:

1992

Լեզու:

english

Ֆայլ:

DJVU, 12.62 MB

0 / 0

english, 1992

19

The L.E.J. Brouwer centenary symposium: Proceedings Noordwijkerhout, 1981

The L.E.J. Brouwer centenary symposium: Proceedings Noordwijkerhout, 1981

Elsevier Science Ltd

A.S. Troelstra, D.van Dalen

Տարի:

1982

Լեզու:

english

Ֆայլ:

DJVU, 3.43 MB

0 / 0

english, 1982

20

Lectures on linear logic

Lectures on linear logic

CSLI Publications

Տարի:

1992

Լեզու:

english

Ֆայլ:

DJVU, 1.51 MB

0 / 0

english, 1992

21

Intuitionistic General Topology [PhD Thesis]

Intuitionistic General Topology [PhD Thesis]

Տարի:

1966

Լեզու:

english

Ֆայլ:

DJVU, 2.94 MB

0 / 0

english, 1966

22

Logic, Methodology and Philosophy of Science

Logic, Methodology and Philosophy of Science

S. ABRAMSKY, S. ARTEMOV, J. BARWISE, H.J. KEISLER, A.S. TROELSTRA

Լեզու:

english

Ֆայլ:

PDF, 45.56 MB

0 / 5.0

english

23

Aspects of Praematurity and Dysmaturity: Groningen 10–12 May 1967

Aspects of Praematurity and Dysmaturity: Groningen 10–12 May 1967

Springer Netherlands

John W. Reynolds (auth.), J. H. P. Jonxis M.D., H. K. A. Visser M.D., J. A. Troelstra M.D. (eds.)

Տարի:

1968

Լեզու:

english

Ֆայլ:

PDF, 11.89 MB

0 / 0

english, 1968

24

Metabolic Processes in the Foetus and Newborn Infant: Rotterdam 22–24 October 1970

Metabolic Processes in the Foetus and Newborn Infant: Rotterdam 22–24 October 1970

Springer Netherlands

F. A. Hommes (auth.), J. H. P. Jonxis M.D., H. K. A. Visser M.D., J. A. Troelstra M.D. (eds.)

Տարի:

1971

Լեզու:

english

Ֆայլ:

PDF, 13.56 MB

0 / 0

english, 1971

25

Constructivism in Mathematics: An Introduction

Constructivism in Mathematics: An Introduction

Anne S. Troelstra, Dirk van Dalen

Տարի:

1988

Լեզու:

english

Ֆայլ:

PDF, 29.70 MB

0 / 0

english, 1988

26

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Springer-Verlag Berlin Heidelberg

A. S. Troelstra (eds.)

Տարի:

1973

Լեզու:

english

Ֆայլ:

PDF, 21.39 MB

0 / 0

english, 1973

27

Principles of Intuitionism: Lectures presented at the summer conference on Intuitionism and Proof theory (1968) at SUNY at Buffalo, N.Y.

Principles of Intuitionism: Lectures presented at the summer conference on Intuitionism and Proof theory (1968) at SUNY at Buffalo, N.Y.

A. S. Troelstra

Տարի:

1969

Լեզու:

english

Ֆայլ:

PDF, 3.95 MB

0 / 0

english, 1969

28

Metamathematical Investigation Of Intuitionistic Arithmetic And Analysis

Metamathematical Investigation Of Intuitionistic Arithmetic And Analysis

Տարի:

1973

Լեզու:

english

Ֆայլ:

PDF, 22.34 MB

0 / 0

english, 1973

29

Mathematical Logic

Mathematical Logic

A. S. Troelstra (auth.), Petio Petrov Petkov (eds.)

Տարի:

1990

Լեզու:

english

Ֆայլ:

PDF, 34.28 MB

0 / 0

english, 1990

30

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Anne S. Troelstra

Տարի:

1973

Լեզու:

english

Ֆայլ:

DJVU, 2.77 MB

0 / 0

english, 1973